Approval Sheet ii
نویسنده
چکیده
Emperical studies have shown that interprocedural heap liveness analysis can be used to significantly improve garbage collection, thereby reducing memory consumption of programs. The main difficulty in achieving this goal is the unbounded nature of the heap, which makes it notoriously difficult to statically analyze using finite abstractions. A recent technique known as heap reference analysis can discover sets of live access paths using bounded access graphs, which can be used to nullify dead references or augment the garbage collector for improved precision. However, this analysis requires information about possibly aliased access paths for correctness. Classical approaches to heap alias analysis provide sound but imprecise results, due to extensive summarizations performed for keeping the representation finite. This imprecision introduces a large amount of redundant live access paths if used by the liveness analysis directly, thereby diminishing the gains of liveness-based GC. This project makes the following major contributions: (1) a liveness-driven heap abstraction is developed which is as expressible as required by the access graphs and thus can be used to answer alias queries precisely, (2) a technique called “dynamic heap pruning” is introduced, which uses the resulting access graphs to perform memory optimizations at run-time via a debugger API, (3) a generic interprocedural analysis framework is implemented for Soot, which is a popular toolkit for Java program analysis and (4) experimental results are provided for an instance of this framework that performs a flow and context-sensitive points-to analysis to resolve virtual method invocations and constructs the call graph on-the-fly; the resulting call graphs have been found to be much more precise than those that Soot provides by default.
منابع مشابه
APPROVAL SHEET Title of Thesis : " The Impact of Family Environment on Disordered Eating in Overweight Adolescents
متن کامل
APPROVAL SHEET Title of Dissertation : " The Neuromatrix Theory of Pain and Angina during Exercise Stress Testing : Results from the PIMI
متن کامل
Georgia Institute of Technology Office of Contract Administration Notice of Project Closeout
Defense Priority Rating: Military Security Classification: Unclassified (or) Company/Industrial-Proprietary: _ RESTRICTIONS See Attached Gov' t Supplemental Information Sheet for Additional Requirements. Travel: Foreign travel must have prior approval — Contact OCA in each caie. Doniestic traverreouires sponsor approval where total will exceed greater of $500 or 125% of approved proposal budget...
متن کاملOIE Procedure for Validation and Certification of Diagnostic Assays
sheet Name of the diagnostic kit: Platelia Rabies II Manufacturer: Bio-Rad OIE Approval number: 20070101 Date of Registration: May 2007 Disease: Rabies Pathogen Agent: Rabies virus Type of Assay: The PLATELIA RABIES II kit is an in vitro diagnostic indirect ELISA test. Purpose of Assay: Certified by the OIE in May 2007 as fit for purpose to determine immune status post-vaccination in individual...
متن کاملDesign of an Iris Verification System on Embedded Blackfin Processor for Access Control Application Richard Ng Yew Fatt Master of Engineering Science Faculty of Engineering and Science Universiti
ii ACKNOWLEDGEMENTS iii APPROVAL SHEET iv SUBMISSION SHEET v DECLARATION vi LIST OF TABLES x LIST OF FIGURES xi LIST OF ABBREVIATIONS xiii CHAPTER 1.0 INTRODUCTION 1 1.1 Background 1 1.2 Motivation 2 1.3 Scope of Work 3 1.4 Objective 4 1.5 Thesis Outline 5 2.0 LITERATURE REVIEW 7 2.1 Image Preprocessing 7 2.1.1 Iris Localization 8 2.1.1.1 Integro-differential operator 8 2.1.1.2 Hough Transform ...
متن کاملIntegrated Safeguards Data Sheet (Initial)
Authorized to Appraise Date: October 6, 2003 IBRD Amount ($m): Bank Approval: February 27, 2004 IDA Amount ($m): Global Supplemental Amount ($m): 5.50 Managing Unit: AFTES Lending Instrument: Specific Investment Loan (SIL) Status: Lending Sector: General agriculture, fishing and forestry sector Theme: Biodiversity (P); Other environment and natural resources management (P); Environmental polici...
متن کامل